翻訳と辞書 Words near each other ・ Tauthali ・ Tautinio darbo apsaugos batalionas ・ Tautira ・ Tautira Bay ・ Tautirut ・ Tautiška giesmė ・ Tautliner ・ Tauto Sansbury ・ Tautobriga ・ Tautochrone curve ・ Tautog ・ Tautoga ・ Tautogram ・ Tautological ・ Tautological bundle ・ Tautological consequence ・ Tautological one-form ・ Tautological ring ・ Tautology ・ Tautology (grammar) ・ Tautology (logic) ・ Tautology (rhetoric) ・ Tautology (rule of inference) ・ Tautomer ・ Tautomycin ・ TauTona Mine ・ Tautonym ・ Tautopathy ・ Tautophrase ・ Tautoro Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Tautological consequence ： ウィキペディア英語版 Tautological consequence In propositional logic, tautological consequence is a strict form of logical consequence〔Barwise and Etchemendy 1999, p. 110〕 in which the tautologousness of a proposition is preserved from one line of a proof to the next. Not all logical consequences are tautological consequences. A proposition $Q$ is said to be a tautological consequence of one or more other propositions ($P\_1$, $P\_2$, ..., $P\_n$) in a proof with respect to some logical system if one is validly able to introduce the proposition onto a line of the proof within the rules of the system and in all cases when each of those one or more other propositions ($P\_1$, $P\_2$, ..., $P\_n$) are true, the proposition $Q$ also is true. Another way to express this preservation of tautologousness is by using truth tables. A proposition $Q$ is said to be a tautological consequence of one or more other propositions ($P\_1$, $P\_2$, ..., $P\_n$) if and only if in every row of a joint truth table that assigns "T" to all propositions ($P\_1$, $P\_2$, ..., $P\_n$) the truth table also assigns "T" to $Q$. ==Example== $a$ = "Socrates is a man." $b$ = "All men are mortal." $c$ = "Socrates is mortal." :$$ :$$ :$$ The conclusion of this argument is a logical consequence of the premises because it is impossible for all the premises to be true while the conclusion false. Reviewing the truth table, it turns out the conclusion of the argument is ''not'' a tautological consequence of the premise. Not every row that assigns T to the premise also assigns T to the conclusion. In particular, it is the second row that assigns T to ''a'' ∧ ''b'', but does not assign T to ''c''. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Tautological consequence」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.